home *** CD-ROM | disk | FTP | other *** search
/ New Star Software Collection / NSS_Collection.iso / 5-029 turbo debugger and assem / disks.7z / 3 / CHAPXMPL.ARC / ADDPRO.PRO < prev    next >
Encoding:
Text File  |  1988-08-29  |  292 b   |  12 lines
  1. /* ADDPRO.PRO */
  2.  
  3. global predicates
  4.    add(integer,integer,integer) - (i,i,o),(i,o,i),(o,i,i)
  5.                                   language asm
  6.  
  7. goal
  8.    add(2,3,X), write("2 + 3 = ",X),nl,
  9.    add(2,Y,5), write("5 - 2 = ",Y),nl,
  10.    add(Z,3,5), write("5 - 3 = ",Z),nl,
  11.    readchar(_).
  12.